Flyspec Project
Kepler予想
の形式化のプロジェクト
HOL Light
で作られている？
Google Code Archive - Long-term storage for Google Code Project Hosting.
#形式手法
#定理証明支援系